|
|
Modely a simulace pochodů bezemisního kolového nakladače s elektrickým pohonem
Cieslar, Filip ; Nevrlý, Josef (oponent) ; Němec, Zdeněk (vedoucí práce)
Tato diplomová práce se zabývá tvorbou modelů simulující pochody bezemisního kolového nakladače, který vznikl přestavbou původní verze se spalovacím motorem. Součástí práce je metodická tvorba modelů od základních částí stroje po zjednodušený model celkového stroje, jeho funkčního ověření a kalibrace na základě dostupných informací a měření. V průběhu práce jsou vybrané parametry celkového modelu stroje verifikovány na základě provedených měření, dále je ověřena vhodnost zvolených komponent a taky je provedena optimalizace a úpravy modelu na základě verifikace. Cílem práce je představení simulačního a verifikačního postupu a jeho praktického využití ve vývoji bezemisního kolového nakladače na elektricky pohon.
|
|
|
Autonomní diferenciální rovnice
Bokišová, Lenka ; Vodstrčil, Petr (oponent) ; Opluštil, Zdeněk (vedoucí práce)
Tato bakalářská práce se zabývá řešením autonomních diferenciálních rovnic. Pozornost je věnována základním matematickým modelům růstu jednodruhové populace. Je zde uveden Malthusův model, model s vnitrodruhovou konkurencí a dále rozebrán model růstu populace pod predačním tlakem. Získané poznatky jsou aplikovány na konkrétních matematických modelech rybolovu. Jsou rozlišeny případy, kdy rybolov je konstantní a závislý na velikosti populace. Dále je zkoumán model lovu sardinek se speciální růstovou funkcí. V každém modelu je řešena otázka stability stacionárních řešení.
|
|
|
Simulace farmakokinetických modelů
Hejč, Jakub ; Jiřík, Radovan (oponent) ; Mézl, Martin (vedoucí práce)
Teoretická část projektu se zabývá rozborem farmakokinetických dějů a základními vlastnostmi matematických modelů užívaných ve farmakokinetice. Tento popis je zaměřen především na modely využívané pro perfúzní zobrazovací metody. Cílem projektu je vytvořit algoritmus pro simulaci vybraných modelů na základě zadaných parametrů a algoritmus sloužící k proložení experimentálně měřených dat vybraným modelem s výpočtem základních farmakokinetických parametrů. Dalším krokem řešení je realizace grafického rozhraní, které umožní plně využívat vytvořené algoritmy v uživatelsky přístupnějším prostředí. Výstupem práce je program, který lze využít k získání parametrů reálných dat a jako názorná ukázka vlivu těchto parametrů na průběh zvolených funkcí.
|
|
|
Optimalizační modely v odpadovém hospodářství
Šmídová, Zlata ; Smejkalová, Veronika (oponent) ; Šomplák, Radovan (vedoucí práce)
Diplomová práce se zabývá aplikací optimalizačních modelů v oblasti odpadového hospodářství. K analýze současného stavu, odhadu informace o toku konkrétního odpadu, odhadu pravděpodobného místa a způsobu zpracování je vyvinut vhodný přístup založený na sofistikovaných matematických metodách. Matematický model, který vznikl sloučením dvou již existujících modelů, přináší výsledky vhodné také pro prognózování stavu odpadového hospodářství. Výstupem je komplexní výpočetní nástroj, který byl testován na datech z roku 2015. Výsledky pro směsný komunální odpad (kat. č. 20 03 01), objemný odpad (kat. č. 20 03 07) a odpad s katalogovým číslem 19 08 05, což je označení pro kaly z čištění komunálních odpadních vod, byly zpracovány v programu MS Excel.
|
|
|
Alternativní transformace jazykových modelů
Havel, Martin ; Beníčková, Zuzana (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce poskytuje ucelený přehled poznatků z oblasti regulárních výrazů, konečných automatů a transformací z regulárního výrazu na konečný automat. Práce navrhuje nové transformace se zaměřením na minimalizaci počtu stavů a počtu pravidel konečných automatů. Koncept alternativních transformací je zpracován do algoritmů a prokázán matematickým důkazy. Cílem práce je obohatit transformace o nové alternativy na poli regulárních výrazů a konečných automatů. Pozornost je především věnována ekonomické stránce finálního konečného automatu. V rámci práce se podařilo sestrojit algoritmy, které jsou schopny transformovat regulární výrazy na konečné automaty. Práce zároveň poskytuje návod k jejich implementaci. Prezentuje obecný koncept transformací, který umožňuje tvořit méně rozsáhlé konečné automaty. Využitím uvedeného přístupu je možné rozšířit řadu transformací o alternativní verze.
|
|
|
Alternativní transformace jazykových modelů
Havel, Martin ; Beníčková, Zuzana (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce poskytuje ucelený přehled poznatků z oblasti regulárních výrazů, konečných automatů a transformací z regulárního výrazu na konečný automat. Práce navrhuje nové transformace se zaměřením na minimalizaci počtu stavů a počtu pravidel konečných automatů. Koncept alternativních transformací je zpracován do algoritmů a prokázán matematickým důkazy. Cílem práce je obohatit transformace o nové alternativy na poli regulárních výrazů a konečných automatů. Pozornost je především věnována ekonomické stránce finálního konečného automatu. V rámci práce se podařilo sestrojit algoritmy, které jsou schopny transformovat regulární výrazy na konečné automaty. Práce zároveň poskytuje návod k jejich implementaci. Prezentuje obecný koncept transformací, který umožňuje tvořit méně rozsáhlé konečné automaty. Využitím uvedeného přístupu je možné rozšířit řadu transformací o alternativní verze.
|
|
|
Alternativní transformace jazykových modelů
Havel, Martin ; Beníčková, Zuzana (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce poskytuje ucelený přehled poznatků z oblasti regulárních výrazů, konečných automatů a transformací z regulárního výrazu na konečný automat. Práce navrhuje nové transformace se zaměřením na minimalizaci počtu stavů a počtu pravidel konečných automatů. Koncept alternativních transformací je zpracován do algoritmů a prokázán matematickým důkazy. Cílem práce je obohatit transformace o nové alternativy na poli regulárních výrazů a konečných automatů. Pozornost je především věnována ekonomické stránce finálního konečného automatu. V rámci práce se podařilo sestrojit algoritmy, které jsou schopny transformovat regulární výrazy na konečné automaty. Práce zároveň poskytuje návod k jejich implementaci. Prezentuje obecný koncept transformací, který umožňuje tvořit méně rozsáhlé konečné automaty. Využitím uvedeného přístupu je možné rozšířit řadu transformací o alternativní verze.
|
|
|
Alternativní transformace jazykových modelů
Havel, Martin ; Beníčková, Zuzana (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce poskytuje ucelený přehled poznatků z oblasti regulárních výrazů, konečných automatů a transformací z regulárního výrazu na konečný automat. Práce navrhuje nové transformace se zaměřením na minimalizaci počtu stavů a počtu pravidel konečných automatů. Koncept alternativních transformací je zpracován do algoritmů a prokázán matematickým důkazy. Cílem práce je obohatit transformace o nové alternativy na poli regulárních výrazů a konečných automatů. Pozornost je především věnována ekonomické stránce finálního konečného automatu. V rámci práce se podařilo sestrojit algoritmy, které jsou schopny transformovat regulární výrazy na konečné automaty. Práce zároveň poskytuje návod k jejich implementaci. Prezentuje obecný koncept transformací, který umožňuje tvořit méně rozsáhlé konečné automaty. Využitím uvedeného přístupu je možné rozšířit řadu transformací o alternativní verze.
|
|
|
Modely a simulace pochodů bezemisního kolového nakladače s elektrickým pohonem
Cieslar, Filip ; Nevrlý, Josef (oponent) ; Němec, Zdeněk (vedoucí práce)
Tato diplomová práce se zabývá tvorbou modelů simulující pochody bezemisního kolového nakladače, který vznikl přestavbou původní verze se spalovacím motorem. Součástí práce je metodická tvorba modelů od základních částí stroje po zjednodušený model celkového stroje, jeho funkčního ověření a kalibrace na základě dostupných informací a měření. V průběhu práce jsou vybrané parametry celkového modelu stroje verifikovány na základě provedených měření, dále je ověřena vhodnost zvolených komponent a taky je provedena optimalizace a úpravy modelu na základě verifikace. Cílem práce je představení simulačního a verifikačního postupu a jeho praktického využití ve vývoji bezemisního kolového nakladače na elektricky pohon.
|
|
|
Optimalizační modely v odpadovém hospodářství
Šmídová, Zlata ; Smejkalová, Veronika (oponent) ; Šomplák, Radovan (vedoucí práce)
Diplomová práce se zabývá aplikací optimalizačních modelů v oblasti odpadového hospodářství. K analýze současného stavu, odhadu informace o toku konkrétního odpadu, odhadu pravděpodobného místa a způsobu zpracování je vyvinut vhodný přístup založený na sofistikovaných matematických metodách. Matematický model, který vznikl sloučením dvou již existujících modelů, přináší výsledky vhodné také pro prognózování stavu odpadového hospodářství. Výstupem je komplexní výpočetní nástroj, který byl testován na datech z roku 2015. Výsledky pro směsný komunální odpad (kat. č. 20 03 01), objemný odpad (kat. č. 20 03 07) a odpad s katalogovým číslem 19 08 05, což je označení pro kaly z čištění komunálních odpadních vod, byly zpracovány v programu MS Excel.
|
host ::
RSS.